Generalized Modus Ponens Using Fodor's Implication and a Parametric T-norm
نویسنده
چکیده
Using Generalized Modus Ponens reasoning, we examine the values of the inferred conclusion by using Fodor's implication in order to interpret a fuzzy if-then rule with a single input single output and the tnorm ( ) ( )( ) ( xy y x max y , x t ) λ λ − − + + = 1 1 , 1 − ≥ λ , for composition operation. This t-norm is important to use because for 1 − = λ and 0 = λ it gives the commonly used t-norms ( ) xy y , x t = 1 and , respectively. ( ) ( ) 1 0 − + = y x , max y 2 , x t Key-Words: Fuzzy set, Fuzzy implication, Generalized modus ponens, t-norm, t-conorm, Strong negation
منابع مشابه
Generalized Modus Ponens Reasoning for Rules with Partial Overlapping Between Premise and Observation
Using Generalized Modus Ponens reasoning, we examine the values of inferred conclusion when the premise of the rule and the observed fact have a partial overlapping. We work with fuzzy if-then rules with a single input single output and the t-norm t(x, y) = max((1+λ)(x+y−1)−λxy, 0), λ ≥ −1, for composition operation. This t-norm is important to use because for λ = −1 and λ = 0 it gives the very...
متن کاملApproximate Reasoning Using Fodor’s Implication
Using generalized modus ponens reasoning, we examine the values of the inferred conclusion using the Fodor’s implication in order to interpret a fuzzy if-then rule with a single input single output and the T-norms t1(x, y) = min(x, y), t2(x, y) = xy and t3(x, y) = max(0, x + y − 1) for composition operation. These are the very used T-norms in generalized modus ponens reasoning.
متن کاملResidual implications derived from uninorms satisfying Modus Ponens
Modus Ponens is a key property for fuzzy implication functions that are going to be used in fuzzy inference processes. In this paper it is investigated when fuzzy implication functions derived from uninorms via residuation, usually called RU implications, satisfy the modus ponens with respect to a continuous t-norm T , or equivalently, when they are T -conditionals. For RU -implications it is p...
متن کاملOn generalized modus ponens with multiple rules and a residuated implication
We consider a multiple-rule, generalized modus ponens inference scheme, with an interpretation based on compositional rule of inference (CRI) and a residuated implication. We show that such a system is equivalent, as far as CRI is concerned, to a system that satis5es the “basic requirement for fuzzy reasoning”, proposed by Turksen and Tian (Fuzzy Sets and Systems 58 (1993) 3–40). We establish a...
متن کاملOn MPT-implication functions for Fuzzy Logic
This paper deals with numerical functions able to functionally express operators defined as , and verifying either Modus Ponens or Modus Tollens, or both. The concrete goal of the paper is to search for continuous t-norms and strong-negation functions for which it is either (Modus Ponens), or (Modus Tollens), or both, for all in and a given . Functions are taken among those in the most usual fa...
متن کامل